A Framework for Developing Parameterised FPGA Libraries
نویسندگان
چکیده
We suggest that the productivity of FPGA users can be improved by adopting design libraries which are optimally implemented, rich in variety, easy to use, compatible with incremental development techniques and carefully validated. These requirements motivate our research into a framework for developing FPGA libraries involving the industrial-standard VHDL language and the declarative language Ruby. This paper describes the main elements in our framework, and illustrates its application to the Xilinx 6200 series FPGAs.
منابع مشابه
Verification of Parameterised FPGA Circuit Descriptions with Layout Information
Manual placement is commonly used in FPGA circuit design in order to achieve better resultsthan would be generated by automatic place and route algorithms. However, explicit place-ment of individual components in parameterised descriptions is tedious and error-prone. Inthis thesis we present a framework for the design and verification of parameterised hardwarelibraries with layo...
متن کاملTowards a general framework for FPGA based image processing using hardware skeletons
In this paper, we present our approach to developing a general framework for FPGA based Image Processing. This framework is based on a library of Hardware Skeletons. A hardware skeleton is a parameterised description of a task-specific architecture. A skeleton’s implementation will apply optimisations specific to the target hardware. The library normally contains a range of alternative skeleton...
متن کاملParameterised Linearisability
Many concurrent libraries are parameterised, meaning that they implement generic algorithms that take another library as a parameter. In such cases, the standard way of stating the correctness of concurrent libraries via linearisability is inapplicable. We generalise linearisability to parameterised libraries and investigate subtle trade-offs between the assumptions that such libraries can make...
متن کاملPresenting a Framework for Supporting Life-long Learning in Iranian public libraries and Its validation
Purpose: Since nowadays public libraries are considered lifelong learning centers, these centers must have the required standards and conditions to support lifelong learning in order that they could help society members to achieve their personal and professional learning more effectively. Accordingly, it is necessary to develop and provide a mechanism to support lifelong learning in public libr...
متن کاملA declarative approach to incremental custom computing
Incremental methods can be used to produce implementations rapidly and to facilitate multi-level design optimisation. This paper describes a declarative framework, based on the language Ruby, that supports incremental design and validation of custom computers. The key elements of the approach include parameterised descriptions, design transformation and data refinement. Several priority queue d...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996